منابع مشابه
Evaluating Polynomials at Fixed Sets of Points
We investigate the evaluation of an (n-1)st degree polynomial at a sequence of n points. It is shown that such an evaluation reduces directly to a simple convolution if and only if the sequence of points is of the form b, ba, ba2, ., ba for complex numbers a and b (the so-called "chirp transform"). By more complex reductions we develop an O(n log n) evaluation algorithm for sequences of points ...
متن کاملOn Sets, Types, Fixed Points, and Checkerboards
Most current research on automated theorem proving is concerned with proving theorems of first-order logic. We discuss two examples which illustrate the advantages of using higher-order logic in certain contexts. For some purposes type theory is a much more convenient vehicle for formalizing mathematics than axiomatic set theory. Even theorems of first-order logic can sometimes be proven more e...
متن کاملFixed points and maximal independent sets in AND-OR networks
We study the maximum number of 2xed points of boolean networks with local update function AND–OR. We prove that this number for networks with connected digraph is 2(n−1)=2 for n odd and 2(n−2)=2 + 1 for n even if the digraph has not loops; and 2n−1 + 1 otherwise, where n is the number of nodes of the digraph. We also exhibit some networks reaching these bounds. To obtain these results we constr...
متن کاملExperimental results on quadrangulations of sets of fixed points
We consider the problem of obtaining “nice” quadrangulations of planar sets of points. For many applications “nice” means that the quadrilaterals obtained are convex if possible and as “fat” or squarish as possible. For a given set of points a quadrangulation, if it exists, may not admit all its quadrilaterals to be convex. In such cases we desire that the quadrangulations have as many convex q...
متن کاملFixed Points of Asymptotically Regular Nonexpansive Mappings on Nonconvex Sets
It is shown that if X is a Banach space and C is a union of finitely many nonempty, pairwise disjoint, closed, and connected subsets {Ci : 1≤ i≤ n} of X , and each Ci has the fixed-point property (FPP) for asymptotically regular nonexpansive mappings, then any asymptotically regular nonexpansive self-mapping of C has a fixed point. We also generalize the Goebel-Schöneberg theorem to some Banach...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1967
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1967.23.163